The C Programming Language - PDFSEARCH.IO - Document Search Engine

The C Programming Language
Results: 2005

#	Item
501	Experiments in validating formal semantics for C Sandrine Blazy ENSIIE and INRIA Rocquencourt [removed] Abstract. This paper reports on the design of adequate on-machine Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2008-06-30 05:17:26 Logic in computer science Formal methods Compiler construction Programming language semantics Formal verification Xavier Leroy Coq Operational semantics Compcert Software engineering Theoretical computer science Computing
502	Getting Started with Whiley David J. Pearce April 8, 2015 Abstract The aim of this document is to provide a short introduction to the Whiley programming language, in order to get you up and running quickly. However, it i Add to Reading List Source URL: whiley.org Language: English - Date: 2015-04-07 19:00:10 Data types C++ Type theory C programming language Object-oriented programming Struct Type conversion Reference Pointer Software engineering Computer programming Computing
503	AyaNova is the #1 service work order management & dispatching software solution for service organizations that want to grow their businesses. L E S S P A P E R W O R K , M O R E R E V E N Add to Reading List Source URL: haveabyte.com Language: English - Date: 2013-10-17 13:28:37 C programming language International Obfuscated C Code Contest Obfuscated code Computer programming Computing Software engineering
504	Declaration of Honesty in Academic Work I declare that every assignment handed in is original except for source material explicitly acknowledged, and that the same or related material has not been previously submitted fo Add to Reading List Source URL: www.phy.cuhk.edu.hk Language: English - Date: 2008-09-21 21:41:48 C Cross-platform software Programming language theory Procedural programming languages Computing Software engineering
505	16 Comparison of the Models of Organisation Chapters 14 and 15 respectively presented two models of application organisation: The functional/modular model and the object model. These two models address, each in Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Functional languages Type theory Java programming language Program analysis Type system Generic programming OCaml Objective-C Constructor Software engineering Computer programming Computing
506	Extracted from: Programming Elixir Functional \|> Concurrent \|> Pragmatic \|> Fun This PDF file contains pages extracted from Programming Elixir, published by the Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2015-04-02 14:33:50 Hilary Duff Ruby programming language Elixir The Pragmatic Programmer Dave Thomas Programming Ruby C Object-oriented programming Programming paradigm Computing Software engineering Computer programming
507	The ABC compiler Martin L. Kersten Gert-Jan Akkerman Marcel Worring Edo Westerhuis Frans Kunst Add to Reading List Source URL: tack.sourceforge.net Language: English - Date: 2011-02-11 16:00:22 Procedural programming languages MAD BASIC Bc programming language C GOSUB Variable Color BASIC Atari BASIC Computing Software engineering Computer programming
508	Extending the Scope of Syntactic Abstraction∗ Oscar Waddell University of Kansas R. Kent Dybvig Indiana University Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2004-05-15 11:11:12 Transformation languages Source code C programming language Functional languages Cross-platform software Hygienic macro Scheme Dylan Macro Computing Software engineering Computer programming
509	Section 4.4 Report Data Files Layout Report Data File Layout SI STATUS REPORT This file contains the data information of the SI Status Report. The record length is 353 bytes. Add to Reading List Source URL: www.hkex.com.hk Language: English ALGOL 68 X Window System C Software Computing Programming language theory
510	C++?? A Critique of C++ and Programming and Language Trends of the 1990s 3rd Edition Ian Joyner Add to Reading List Source URL: www.quinn.echidna.id.au Language: English - Date: 2013-12-02 18:22:25 Cross-platform software Programming paradigms Object-oriented programming C++ Eiffel Type system Programming language C Abstraction Software engineering Computing Computer programming

UPDATE